Books by author Marco Bernardo

Showing 1 – 15 out of 15 results

1. 

   Formal Methods for Quantitative Aspects of Programming Languages

   Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky | Springer, Berlin, 2010

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   56.10 €

   Buy
2. 

   Formal Methods for Hardware Verification

   Marco Bernardo, Alessandro Cimatti | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.80 €

   Buy
3. 

   Formal Methods for Eternal Networked Software Systems

   Marco Bernardo, Valerie Issarny | Springer, Berlin, 2011

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   57.32 €

   Buy
4. 

   A Process Algebraic Approach to Software Architecture Design

   Alessandro Aldini, Marco Bernardo, Flavio Corradini | Springer, Berlin, 2009

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Hardback

   55.80 €

   Buy
5. 

   Formal Methods for Mobile Computing

   Marco Bernardo, Alessandro Bogliolo | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.75 €

   Sale 7 %

   You save 4.29 €

   Buy
6. 

   Formal Methods for Software Architectures

   Marco Bernardo, Paola Inverardi | Springer, Berlin, 2003

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.75 €

   Sale 7 %

   You save 4.29 €

   Buy
7. 

   Formal Methods for Dynamical Systems

   Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   47.59 €

   Sale 7 %

   You save 3.97 €

   Buy
8. 

   Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

   Marco Bernardo, Rocco de Nicola, Jane Hillston | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   50.63 €

   Sale 9 %

   You save 5.40 €

   Buy
9. 

   Formal Methods for Performance Evaluation

   Marco Bernardo, Jane Hillston | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.75 €

   Sale 7 %

   You save 4.29 €

   Buy
10. 

    Formal Methods for Model-Driven Engineering

    Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio | Springer, Berlin, 2012

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.75 €

    Sale 7 %

    You save 4.29 €

    Buy
11. 

    Formal Methods for Multicore Programming

    Marco Bernardo, Einar Broch Johnsen | Springer International Publishing AG, 2015

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    49.62 €

    Sale 7 %

    You save 4.18 €

    Buy
12. 

    Formal Methods for Executable Software Models

    Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen | Springer International Publishing AG, 2014

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.75 €

    Sale 7 %

    You save 4.29 €

    Buy
13. 

    Computer Performance Engineering

    Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

    
    

    Low in stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Paperback

    56.10 €

    Buy
14. 

    Formal Methods for Computational Systems Biology

    Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.75 €

    Sale 7 %

    You save 4.29 €

    Buy
15. 

    Formal Methods for Web Services

    Marco Bernardo, Luca Padovani, Gianluigi Zavattaro | Springer, Berlin, 2009

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    59.54 €

    Sale 0 %

    You save 0.05 €

    Buy

Informujeme vás o každom kroku vybavovania objednávky. Zistite viac